Consistency model for runtime objects in the Open Community Runtime

An Incremental Algorithm for High-Performance Runtime Model Consistency

We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one of many possible target models. When either model is changed at runtime, the transformation is incrementally updated. We describe the theory underlying our approach, and show restrictions sufficient for a simple and ef...

Open Runtime Platform:

According to conventional wisdom, interfaces provide flexibility at the cost of performance. Most high-performance Java virtual machines today tightly integrate their core virtual machines with their just-in-time compilers and garbage collectors to get the best performance. The Open Runtime Platform (ORP) is unusual in that it reconciles high performance with the extensive use of welldefined in...

A Mechanism for Runtime Evolution of Objects

My approach is based on the version management of objects. I allow objects to have multiple versions. Versions of objects to be used in a program can be selected and changed while the program is running. Objects may be replaced with new versions that have new functionality. Objects with bugs may be replaced by new versions of the objects that fix the bugs during the execution. New objects may b...

Verifying File System Consistency at Runtime

Existing file-system reliability methods, such as checksums, redundancy, or transactional updates, provide limited defenses against file-system bugs that cause disk corruption. The existing workarounds, based on using backups or repairing the file system, are painfully slow. Worse, the recovery is performed much after the error occurred, and thus may result in further corruption and data loss. ...

Runtime monitoring for open real- time systems